421. Trends in functional programming :
المؤلف: Michał Pałka, Magnus Myreen (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
422. Trends in functional programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
423. Trends in functional programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
424. Trends in functional programming :
المؤلف: David Van Horn, John Hughes (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
425. Trends in functional programming :
المؤلف: edited by Meng Wang, Scott Owens.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
426. Trends in functional programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
427. Trends in functional programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
428. Trends in functional programming.
المؤلف: edited by Henrik Nilsson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Functional programming (Computer science), Congresses.
رده :
QA76
.
62
T74
2007eb
429. Trends in functional programming.
المؤلف: edited by Hans-Wolfgang Loidl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming.,Functional programming (Computer science), Congresses.
رده :
QA76
.
62
.
T746
2007eb
430. Trends in functional programming.
المؤلف: edited by Hans-Wolfgang Loidl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming.,Functional programming (Computer science), Congresses.
رده :
QA76
.
62
.
T746
2007eb
431. Two-level functional languages /
المؤلف: Flemming Nielson, Hanne Riis Nielson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Functional programming languages.,génération code.,interprétation abstraite.,lambda calcul.,logique combinatoire.,théorie type.,Functional programming languages.,Functionele talen.,Funktionale Programmiersprache,Funktionale Programmiersprache.,Implementation,Implementierung,Implementierung.,Lambda-calcul.,Langages de programmation fonctionnelle.,Programmation fonctionnelle (informatique)
رده :
QA76
.
62
.
N54
1992
432. Type theory and functional programming /
المؤلف: Simon Thompson
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Functional programming (Computer science),Type theory
رده :
QA76
.
62
.
T46
1991
433. Understanding and interpreting machine learning in medical image computing applications :
المؤلف: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
434. Verification and evaluation of computer and communication systems :
المؤلف: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
435. Verification, induction, termination analysis
المؤلف: Simon Siegler, Nathan Wasser (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Walther, Christoph,Functional programming (Computer science)
رده :
QA76
.
62
.
V47
2010eb
436. Visualization and Mathematics III
المؤلف: edited by Hans-Christian Hege, Konrad Polthier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Global differential geometry.,Mathematics.,Numerical analysis.,Topology.,Visualization.
437. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
المؤلف: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
المکتبة: (طهران)
موضوع: Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005
438. Web services foundations /
المؤلف: Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
رده :
TK5105
.
88813
439. Writing Perl Modules for CPAN
المؤلف: by Sam Tregar.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Software engineering.
